141![AN-EA-001: Importing Control/CompactLogix Pre-Defined Data Types for C-more AN-EA-001: Importing Control/CompactLogix Pre-Defined Data Types for C-more](https://www.pdfsearch.io/img/caadaf68202a504fcdd55cba2bf1089b.jpg) | Add to Reading ListSource URL: support.automationdirect.comLanguage: English - Date: 2007-08-08 13:57:00
|
---|
142![User-defined Data Types in Rhapsody Techletter Nr 5 Content User-defined Data Types in Rhapsody Techletter Nr 5 Content](https://www.pdfsearch.io/img/10d414df2b69a6a5dc7f9411f04307f8.jpg) | Add to Reading ListSource URL: www.willert.deLanguage: English - Date: 2015-06-15 03:53:21
|
---|
143![Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier Mind your Language(s) A discussion about languages and security (Long Version) ´ Eric Jaeger, Olivier Levillain and Pierre Chifflier](https://www.pdfsearch.io/img/110f82f721083fac75158d7c0ce9ba06.jpg) | Add to Reading ListSource URL: spw14.langsec.orgLanguage: English - Date: 2014-06-12 22:54:26
|
---|
144![c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010. 271 doi:S095679681000016X First published online 29 September 2010 c Cambridge University Press 2010 JFP 20 (3 & 4): 271–302, 2010. 271 doi:S095679681000016X First published online 29 September 2010](https://www.pdfsearch.io/img/8ef103a2d9446c04701db884af506138.jpg) | Add to Reading ListSource URL: publications.lib.chalmers.seLanguage: English - Date: 2010-10-22 02:30:22
|
---|
145![Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington Whiley: a Platform for Research in Software Verification David J. Pearce and Lindsay Groves School of Engineering and Computer Science Victoria University of Wellington](https://www.pdfsearch.io/img/296d3f30ffd0def5c35f37192c79deaf.jpg) | Add to Reading ListSource URL: homepages.ecs.vuw.ac.nzLanguage: English - Date: 2013-10-27 00:48:28
|
---|
146![JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email: JPure: A Modular Purity System for Java David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Email:](https://www.pdfsearch.io/img/37e9e086c23b3a388ff6cc0e64b3dbfa.jpg) | Add to Reading ListSource URL: homepages.ecs.vuw.ac.nzLanguage: English - Date: 2011-01-09 16:00:58
|
---|
147![A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean A core data and behaviour language for E-LOTOS Alan Jeffrey Based on discussions at the COST 247 short term scientific mission attended by Hubert Garavel,. Guy Leduc, Charles Pecheur, Ricardo Pe˜na and Mihaela Sighirean](https://www.pdfsearch.io/img/c761bd61b35c7e6f65de5376a9836e14.jpg) | Add to Reading ListSource URL: ect.bell-labs.comLanguage: English - Date: 2010-12-15 21:35:58
|
---|
148![Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR Abstract Value Constructors Symbolic Constants for Standard ML William E. Aitken∗ John H. Reppy† TR](https://www.pdfsearch.io/img/2986a820a3fcb46e18ae334fe558ebec.jpg) | Add to Reading ListSource URL: people.cs.uchicago.eduLanguage: English - Date: 2015-10-19 12:35:07
|
---|
149![JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014 JPL Java Coding Standard JPL Institutional Coding Standard for the Java Programming Language Version 1.0 Published March 31, 2014](https://www.pdfsearch.io/img/6ef7e279b48ac6ce806e3b21957ea695.jpg) | Add to Reading ListSource URL: www.havelund.comLanguage: English - Date: 2014-06-30 12:26:27
|
---|
150![Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland Statically Checking API Protocol Conformance with Mined Multi-Object Specifications Michael Pradel Department of Computer Science ETH Zurich, Switzerland](https://www.pdfsearch.io/img/7560f3a0d5030589af79b268fa3f1c77.jpg) | Add to Reading ListSource URL: mp.binaervarianz.deLanguage: English - Date: 2012-04-01 07:44:25
|
---|